Mathematical structure - PDFSEARCH.IO - Document Search Engine

Mathematical structure
Results: 1236

#	Item
321	LNCSSpecifying Compositional Units for Correct Program Development in Computational Logic Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2005-06-15 05:19:36 Mathematical logic Functions and mappings Metalogic Differential topology Interpretation Structure Function Embedding Sheaf Mathematics Model theory Topology
322	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: cran.salud.gob.sv Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
323	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: watson.nci.nih.gov Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
324	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: dssm.unipa.it Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
325	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: rweb.quant.ku.edu Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
326	Chiron : Mechanizing Mathematics in OCaml By Hong Ni, B.Science Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2012-05-01 16:42:08 Structure Mathematical logic Formal methods Algebra Boolean algebra Chiron Logic Algorithm Module Mathematics Algebraic structures Theoretical computer science
327	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: cran.dcc.fc.up.pt Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
328	Differential algebraic equations from definability Thomas Scanlon 24 OctoberThomas Scanlon Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-11-09 02:34:20 Mathematical analysis Differential algebra Complex analysis Imaginary element Field theory Differentially closed field Functions and mappings Logarithmic derivative Structure Mathematics Abstract algebra Model theory
329	The Entry for 2013 HUMIES 1. the complete title of one (or more) paper(s) published in the open literature describing the work that the author claims describes a human-competitive result, "Reusing Building Blocks of Ext Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2013-06-23 23:44:41 Evolutionary computation Genetic programming Domain Complexity Knowledge Structure Mathematical optimization Science Operations research
330	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: nbcgib.uesc.br Language: English Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing

UPDATE